Holzmann G.: искать на сайте Z-Library

Свободный доступ к знаниям и культуре.

Don't use scam websites

Применены фильтры

Точное соответствие

Точное соответствие

Книги (109)
Самые популярные
Список
- Список
- Таблица

1

Geometric Knit Blankets

Geometric Knit Blankets

Stackpole Books

Margaret Holzmann

Год:

2020

Язык:

english

Файл:

EPUB, 56.33 MB

5.0 / 5.0

english, 2020

2

Spin Model Checker

Spin Model Checker

Addison-Wesley Professional

Gerard J. Holzmann

Год:

2003

Язык:

english

Файл:

PDF, 3.91 MB

0 / 3.0

english, 2003

3

Design And Validation Of Computer Protocols

Design And Validation Of Computer Protocols

Gerard J. Holzmann

Год:

1990

Язык:

english

Файл:

PDF, 2.07 MB

0 / 5.0

english, 1990

4

Technische Mechanik: Teil 1 Statik

Technische Mechanik: Teil 1 Statik

Vieweg+Teubner Verlag

Günter Holzmann, Prof. Dr.-Ing. Heinz Meyer, Georg Schumpich (auth.)

Год:

2000

Язык:

german

Файл:

PDF, 7.92 MB

0 / 0

german, 2000

5

New Ideas About Old Age Security: Toward Sustainable Pension Systems in the 21st Century

New Ideas About Old Age Security: Toward Sustainable Pension Systems in the 21st Century

World Bank Publications

Robert Holzmann, Joseph E. Stiglitz

Год:

2001

Язык:

english

Файл:

PDF, 1.54 MB

0 / 0

english, 2001

6

Naturliche und pflanzliche Baustoffe: Rohstoff - Bauphysik - Konstruktion

Naturliche und pflanzliche Baustoffe: Rohstoff - Bauphysik - Konstruktion

Vieweg+Teubner Verlag

Gerhard Holzmann, Matthias Wangelin

Год:

2009

Язык:

german

Файл:

PDF, 9.33 MB

0 / 0

german, 2009

7

The Taxation of Pensions

The Taxation of Pensions

Robert Holzmann, John Piggott

Год:

2018

Язык:

english

Файл:

PDF, 2.91 MB

0 / 0

english, 2018

8

Dark Tales: Thirteen New Authors, One Twisted Anthology

Dark Tales: Thirteen New Authors, One Twisted Anthology

Cava Vincent V, Rach L J, Morakabi Nthato, Holzmann Ashley Franz

Год:

2014

Язык:

english

Файл:

EPUB, 209 KB

0 / 0

english, 2014

9

Spatial awareness of autonomous embedded systems

Spatial awareness of autonomous embedded systems

Vieweg and Teubner

Clemens Holzmann

Год:

2009

Язык:

english

Файл:

PDF, 2.45 MB

0 / 0

english, 2009

10

The SPIN Model Checker: Primer and Reference Manual

The SPIN Model Checker: Primer and Reference Manual

Addison-Wesley Professional

Gerard J. Holzmann

Год:

2003

Язык:

english

Файл:

CHM, 1.33 MB

0 / 0

english, 2003

11

Aging Population, Pension Funds, and Financial Markets: Regional Perspectives and Global Challenges for Central, Eastern and Southern Europe (Directions in Development)

Aging Population, Pension Funds, and Financial Markets: Regional Perspectives and Global Challenges for Central, Eastern and Southern Europe (Directions in Development)

Robert Holzmann

Год:

2009

Язык:

english

Файл:

PDF, 761 KB

0 / 0

english, 2009

12

China's Pension System: A Vision

China's Pension System: A Vision

World Bank Publications

Mark C. Dorfman, Robert Holzmann, Philip O'Keefe, Dewen Wang, Yvonne Sin, Richard Hinz

Год:

2013

Язык:

english

Файл:

PDF, 2.49 MB

0 / 0

english, 2013

13

Beyond photography : the digital darkroom

Beyond photography : the digital darkroom

Holzmann, Gerard J.

Год:

1988

Язык:

english

Файл:

PDF, 1.71 MB

0 / 0

english, 1988

14

Central Banks and Supervisory Architecture in Europe: Lessons from Crises in the 21st Century

Central Banks and Supervisory Architecture in Europe: Lessons from Crises in the 21st Century

Edward Elgar Publishing

Robert Holzmann (editor), Fernando Restoy (editor)

Год:

2022

Язык:

english

Файл:

PDF, 3.70 MB

0 / 5.0

english, 2022

15

Manual of the Waffen-SS: Badges, Uniforms, Equipment

Manual of the Waffen-SS: Badges, Uniforms, Equipment

Bellona Publications

Walther-Karl Holzmann & D. S. V. Fosten & R. J. Marrion

Год:

1976

Язык:

english

Файл:

PDF, 52.89 MB

0 / 5.0

english, 1976

16

Espiritismo e marxismo

Espiritismo e marxismo

Neto, Jacob Holzmann

Язык:

portuguese

Файл:

PDF, 474 KB

0 / 0

portuguese

17

Wirtschaftsethik

Wirtschaftsethik

Springer Gabler

Robert Holzmann

Год:

2015

Язык:

german

Файл:

EPUB, 847 KB

0 / 0

german, 2015

18

Closing the Coverage Gap: Role of Social Pensions and Other Retirement Income Transfers

Closing the Coverage Gap: Role of Social Pensions and Other Retirement Income Transfers

Robert Holzmann

Год:

2009

Язык:

english

Файл:

PDF, 3.51 MB

0 / 0

english, 2009

19

Geschichte der Sklaverei in der niederländischen Republik. Recht, Rassismus und die Handlungsmacht Schwarzer Menschen und People of Color, 1680-1863

Geschichte der Sklaverei in der niederländischen Republik. Recht, Rassismus und die Handlungsmacht Schwarzer Menschen und People of Color, 1680-1863

transcript Verlag

Год:

2022

Язык:

german

Файл:

PDF, 3.46 MB

0 / 4.0

german, 2022

20

Design and Validation of Computer Protocols (Prentice Hall Software Series)

Design and Validation of Computer Protocols (Prentice Hall Software Series)

Pearson Technology Group

Gerard Holzmann

Год:

1990

Язык:

english

Файл:

PDF, 1.25 MB

0 / 0

english, 1990

21

Technische Mechanik: Teil 2 Kinematik und Kinetik

Technische Mechanik: Teil 2 Kinematik und Kinetik

Vieweg+Teubner Verlag

Günther Holzmann, Prof. Dr.-Ing. Heinz Meyer, Prof. Dr.-Ing. Georg Schumpich (auth.)

Год:

2000

Язык:

german

Файл:

PDF, 12.78 MB

0 / 0

german, 2000

22

Adequacy of Retirement Income after Pension Reforms in Central, Eastern and Southern Europe: Eight Country Studies (Directions in Development; Finance)

Adequacy of Retirement Income after Pension Reforms in Central, Eastern and Southern Europe: Eight Country Studies (Directions in Development; Finance)

World Bank Publications

Robert Holzmann, Ufuk Guven

Год:

2009

Язык:

english

Файл:

PDF, 1.32 MB

0 / 0

english, 2009

23

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Год:

1996

Язык:

english

Файл:

PDF, 6.37 MB

0 / 0

english, 1996

24

New Ideas about Old Age Security: Toward Sustainable Pension Systems in the 21st Century

New Ideas about Old Age Security: Toward Sustainable Pension Systems in the 21st Century

Stiglitz J.E., Holzmann R.

Год:

2001

Язык:

english

Файл:

PDF, 3.44 MB

0 / 0

english, 2001

25

Pension Reform: Issues and Prospect for Non-financial Defined Contribution (NDC) Schemes (Trade and Development)

Pension Reform: Issues and Prospect for Non-financial Defined Contribution (NDC) Schemes (Trade and Development)

Robert Holzmann, Edward Palmer

Год:

2006

Язык:

english

Файл:

PDF, 3.22 MB

0 / 0

english, 2006

26

The spin model checker : primer and reference manual

The spin model checker : primer and reference manual

Gerard J Holzmann

Год:

2004

Язык:

english

Файл:

GZ, 22 KB

0 / 0

english, 2004

27

Technische Mechanik: Teil 1 Statik

Technische Mechanik: Teil 1 Statik

Vieweg+Teubner Verlag

Professor Dr.-Ing. Günther Holzmann, Professor Dr.-Ing. Heinz Meyer, Prof. Dr.-Ing. Georg Schumpich (auth.)

Год:

1974

Язык:

german

Файл:

PDF, 17.69 MB

0 / 0

german, 1974

28

New Ideas About Old Age Security: Toward Sustainable Pension Systems in the 21st Century

New Ideas About Old Age Security: Toward Sustainable Pension Systems in the 21st Century

World Bank Publications

Robert Holzmann, Joseph E. Stiglitz

Год:

2001

Язык:

english

Файл:

PDF, 1.54 MB

0 / 0

english, 2001

29

Technische Mechanik 3: Festigkeitslehre

Technische Mechanik 3: Festigkeitslehre

Vieweg+Teubner Verlag

Prof. Dr.-Ing. Günther Holzmann, Meyer, Schumpich (auth.)

Год:

2002

Язык:

german

Файл:

PDF, 20.22 MB

0 / 0

german, 2002

30

Technische Mechanik Kinematik und Kinetik

Technische Mechanik Kinematik und Kinetik

Holzmann G., Meyer H., Schumpich G.

Год:

2010

Язык:

english

Файл:

PDF, 4.24 MB

0 / 0

english, 2010

31

Technische Mechanik: Teil 2: Kinematik und Kinetik

Technische Mechanik: Teil 2: Kinematik und Kinetik

Vieweg+Teubner Verlag

Professor Dr.-Ing. Günther Holzmann, Professor Dr.-Ing. Heinz Meyer, Prof. Dr.-Ing. Georg Schumpich (auth.)

Год:

1991

Язык:

german

Файл:

PDF, 12.19 MB

0 / 0

german, 1991

32

Die drei Leben des Joseph Franz von Paula Huber: Bayerischer politischer Polizist, Kriegsverbrecher und Mitarbeiter des BND

Die drei Leben des Joseph Franz von Paula Huber: Bayerischer politischer Polizist, Kriegsverbrecher und Mitarbeiter des BND

Michael Holzmann

Год:

2021

Язык:

german

Файл:

PDF, 11.56 MB

0 / 0

german, 2021

33

Naturliche und pflanzliche Baustoffe: Rohstoff – Bauphysik – Konstruktion

Naturliche und pflanzliche Baustoffe: Rohstoff – Bauphysik – Konstruktion

Gerhard Holzmann, Matthias Wangelin (auth.)

Год:

2009

Язык:

german

Файл:

PDF, 6.97 MB

0 / 0

german, 2009

34

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)

Год:

2011

Язык:

english

Файл:

PDF, 6.13 MB

0 / 0

english, 2011

35

Wirtschaftsethik

Wirtschaftsethik

Springer Gabler

Robert Holzmann

Год:

2015

Язык:

german

Файл:

PDF, 1.91 MB

0 / 5.0

german, 2015

36

Cultural Intelligence: Die Erfolgsformel für Wachstum in einer multipolaren Wirtschaftswelt

Cultural Intelligence: Die Erfolgsformel für Wachstum in einer multipolaren Wirtschaftswelt

Hanne Seelmann-Holzmann (auth.)

Год:

2010

Язык:

german

Файл:

PDF, 769 KB

0 / 0

german, 2010

37

Social Protection & Labor at the World Bank, 2000-2008

Social Protection & Labor at the World Bank, 2000-2008

World Bank Publications

Robert Holzmann, Robert Holzmann

Год:

2008

Язык:

english

Файл:

PDF, 2.81 MB

0 / 0

english, 2008

38

Espiritismo e Marxismo

Espiritismo e Marxismo

ebook espírita

Jacob Holzmann Netto

Язык:

portuguese

Файл:

PDF, 938 KB

0 / 2.5

portuguese

39

Wirtschaftsethik

Wirtschaftsethik

Springer Gabler

Robert Holzmann

Год:

2022

Язык:

german

Файл:

PDF, 4.03 MB

0 / 5.0

german, 2022

40

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Год:

1996

Язык:

english

Файл:

DJVU, 3.60 MB

0 / 0

english, 1996

41

Pension Reform in South-Eastern Europe: Linking to Labor and Financial Market Reforms (Directions in Development)

Pension Reform in South-Eastern Europe: Linking to Labor and Financial Market Reforms (Directions in Development)

World Bank Publications

Robert Holzmann

Год:

2008

Язык:

english

Файл:

PDF, 3.30 MB

0 / 0

english, 2008

42

Pension Reform in Europe: Process and Progress (Directions in Development)

Pension Reform in Europe: Process and Progress (Directions in Development)

World Bank Publications

Robert Holzmann

Год:

2003

Язык:

english

Файл:

PDF, 806 KB

0 / 0

english, 2003

43

Design and validation of computer protocols

Design and validation of computer protocols

Gerard J Holzmann, American Telephone and Telegraph Company

Год:

1991

Язык:

english

Файл:

DJVU, 278 KB

0 / 0

english, 1991

44

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)

Год:

2011

Язык:

english

Файл:

PDF, 5.68 MB

0 / 0

english, 2011

45

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)

Год:

2011

Язык:

english

Файл:

PDF, 7.89 MB

0 / 0

english, 2011

46

Espiritismo e Marxismo

Espiritismo e Marxismo

Jacob Holzmann Netto

Язык:

portuguese

Файл:

PDF, 938 KB

0 / 0

portuguese

47

Geometric Knit Blankets

Geometric Knit Blankets

Stackpole Books

Margaret Holzmann

Год:

2020

Язык:

english

Файл:

EPUB, 56.33 MB

0 / 0

english, 2020

48

Wirtschaftsethik

Wirtschaftsethik

Springer Gabler

Robert Holzmann

Год:

2022

Язык:

german

Файл:

EPUB, 3.58 MB

0 / 5.0

german, 2022

49

Wirtschaftsethik

Wirtschaftsethik

Springer Gabler

Robert Holzmann

Год:

2019

Язык:

german

Файл:

EPUB, 2.13 MB

0 / 0

german, 2019

50

Geschichte der Sklaverei in der niederländischen Republik: Recht, Rassismus und die Handlungsmacht Schwarzer Menschen und People of Color, 1680-1863

Geschichte der Sklaverei in der niederländischen Republik: Recht, Rassismus und die Handlungsmacht Schwarzer Menschen und People of Color, 1680-1863

transcript Verlag

Год:

2022

Язык:

german

Файл:

PDF, 8.27 MB

0 / 0

german, 2022